Erinnerung als Konstruktion: August Strindbergs „Ett halvt ark papper“

Epigram reloaded: a standalone typechecker for ETT

Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...

Sprachbasierte Konstruktion sicherer Systeme

We all live in a planetary Ark (planetary Ark, planetary Ark....)

The Biblical story of the Art (a floating, zoo-like device, constructed to survive climate turmoil and mass extinction) can be regarded as an archetypal image (in the terminology of Gaston Bachelard), capturing structural components of the human-animal relationship. Building on the contributions by Larson and Barr, Keulartz, Bovenkerk and Verweij, and Ramp and Bekoff, I will argue that, in the ...

The Noah's Ark Problem

This paper is about the economic theory of biodiversity preservation. A cost-effectiveness methodology is constructed, which results in a particular formula that can be used as a criterion to rank projects. The ranking criterion is sufficiently operational to be useful in suggesting what to look at when determining actual conservation priorities among endangered species. At the same time, the f...

eTT sucTioning in neonaTes and infanTs

The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...